TTEthernet – A Powerful Network Solution for All Purposes

TTEthernet: A Powerful Network Solution for Advanced Integrated Systems

Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms

In this paper, we propose a benchmark for verification of properties of fault-tolerant clock synchronization algorithms, namely, a benchmark of a TTEthernet network, where properties of the clock synchronization algorithm as implemented in a TTEthernet network can be verified, and optimization techniques for verification purposes can be applied. Our benchmark, which assumes non-faulty component...

Verification of Fault-Tolerant Clock Synchronization Algorithms

In this paper, we propose a benchmark for verification of properties of fault-tolerant clock synchronization algorithms, namely, a benchmark of a TTEthernet network, where properties of the clock synchronization algorithm as implemented in a TTEthernet network can be verified, and optimization techniques for verification purposes can be applied. Our benchmark, which assumes non-faulty component...

The TTEthernet synchronisation protocols and their formal verification

TTEthernet is a communication platform for critical, distributed computer-based systems. NASA has selected one of TTEthernet’s high-end configurations for the Orion programme. In other configurations, TTEthernet implements the communication backbone of new energy machineries such as wind turbines. One of TTEthernet’s unique features is the integration of applications with differing latency, jit...

SMT-Based Formal Verification of a TTEthernet Synchronization Function

TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network. For applications of highest criticality, TTEthernet provides a synchronization strategy that tolerates multiple failures. The resulting fault-tolerant timebase can then be used for time-triggered communication to ensure tempo...